#include <conio.h>
#include <io_port.h>
#include <irq.h>
#include <timer.h>

/* init sys timer for 10 KHz */
void timer_init()
{
    outb(0x43, 0x34);
    outb(0x40, 0x77);
    outb(0x40, 0x00);
}
